绿色化工技术在精细化工中的应用研究

社会经济快速发展,科学技术不断进步,针对我国现代工业化工行业发展,所产生的新型化工技术应用,促进我国化工生产效率的提升。工业的发展不可避免地会带来污染物的产生,如果不能有效控制化工排放污染物,温室效应问题会更加严重。本文对绿色化工技术在精细化工中的有效应用进行研究,降低工业废气污染物排放量,维护生态环境平衡。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

高氯酸铵含量对高铝富燃料推进剂中重要组分高氯酸铵/铝 一次燃烧性能和铝粉团聚的影响

采用CO2激光点火装置联合高速摄影系统及扫描电子显微镜等凝聚相燃烧产物分析技术，研究了高氯酸铵(AP)含量对高Al富燃料推进剂中重要组分AP/Al一次燃烧过程中燃烧现象、引燃时间、燃烧扩散时间、燃尽时间、燃烧效率、颗粒团聚及凝聚相燃烧产物的表面形貌、粒径及其分布的影响。结果表明，各AP/Al混合粉体的燃烧过程均可分为表面引燃、燃烧扩散和火焰熄灭3个阶段，但各样品在不同燃烧阶段的燃烧现象存在明显差异。AP含量由10wt%增至30wt%，样品燃烧剧烈程度增强，燃烧过程中固相颗粒的溅射现象越加明显；在火焰熄灭阶段，各样品燃烧由以停留在样品燃面处的燃烧为主逐渐变为以溅射颗粒的燃烧为主，且随反应进行，燃面已燃固相颗粒最先熄灭，各样品表面引燃时间、燃烧扩散时间、燃烧持续时间均缩短，即燃烧反应速率逐渐加快。在AP/Al混合物中，铝粉的燃烧效率、凝聚相燃烧产物粒度及其团聚程度随AP含量增加而增加。     

不同含量低污染水对人工湿地中细菌的影响研究

探究水平流人工湿地(HFCW)系统处理低污染水过程中,相同COD/ρ(TN)下不同碳氮含量对细菌群落结构的影响。结果表明,进水为较高碳氮含量的HFCW(HF1)和进水为较低碳氮含量的HFCW(HF2)对COD和TN的去除效率具有一定的差异,HF1和HF2对COD的去除效率分别为48.26%和28.89%,对TN的去除率分别为79.06%和81.87%。HF1中细菌的丰富度和多样性均高于HF2,HF1中富集的优势细菌为Chloroflexaceae、Comamonadaceae和Rhodocyclaceae,均具有异养反硝化功能,HF2中富集的优势细菌为Xanthomonadaceae和Rhodocyclaceae,其中Xanthomonadaceae具有自养反硝化功能。COD、NH4^+-N和NO3^--N对HF1中细菌群落的影响大于对HF2中细菌群落的影响,HF1中COD对细菌群落的影响大于NH4^+-N和NO3^--N。     

高应力区沿空留巷围岩现状监测研究与分析

陈四楼矿计划实施沿空留巷的2802运输巷，断层较多，直接顶厚度较大，巷道矿压显现较为明显。针对顶板下沉、两帮外鼓、顶板淋水较大、巷道顶板受压破碎、金属网锈蚀严重、压脱锚杆较多、两帮位移较大等现象，提出在高应力区采用矿压监测的方法，通过对巷道变形现状进行的监测分析，对巷道破坏变形程度有了清晰的认识，对造成巷道破坏变形原因和影响因素有了详细的分析，根据注浆加固可改善围岩结构，提高围岩承载能力及锚杆、锚索锚固性能，是一种较为有效的围岩控制措施，确定了需要采用注浆加固的方式对进行巷道围岩破坏变形治理，并根据现场实际情况对注浆材料的性能提出了要求。     

Enhance cycling performance of LiMn2O4 cathode by Sr2+ and Cr3+ doping

Spinel LiSr_0·1Cr_0·1Mn_1·8O₄ was synthesised by high temperature solid state method in order to enhance the electrochemical performance. The LiSr_0·1Cr_0·1Mn_1·8O₄ (LSCMO) materials were characterised by X-ray diffraction (XRD), scanning electron microscopy (SEM) and electrochemical tests. The XRD and SEM studies confirm that LSCMO had spinel crystal structure with a space group of Fd3m, and the particle of LSCMO shows irregular shape. The cyclic voltammetry data illustrated that the heavy current charge–discharge performance of LMO was improved by Sr²⁺ and Cr³⁺ doping. The galvanostatic charge–discharge of LSCMO cathode materials was measured at 1, 5, 10 and 20 C. The results indicated that LSCMO improved the capacity retention.     

移动边缘计算环境下的动态资源分配策略

在通讯设备爆炸式增长的时代,移动边缘计算作为5G通讯技术的核心技术之一,对其进行合理的资源分配显得尤为重要。移动边缘计算的思想是把云计算中心下沉到基站部署(边缘云),使云计算中心更加靠近用户,以快速解决计算资源分配问题。但是,相对于大型的云计算中心,边缘云的计算资源有限,传统的虚拟机分配方式不足以灵活应对边缘云的计算资源分配问题。为解决此问题,提出一种根据用户综合需求变化的动态计算资源和频谱分配算法(DRFAA),采用"分治"策略,并将资源模拟成"流体"资源进行分配,以寻求较大的吞吐量和较低的传输时延。实验仿真结果显示,动态计算资源和频谱分配算法可以有效地降低用户与边缘云之间的传输时延,也可以提高边缘云的吞吐量。